Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
4

[Lecture Notes in Computer Science] COLOG-88 Volume 417 || Inductively defined types

Année:
1990
Langue:
english
Fichier:
PDF, 1011 KB
english, 1990
5

Epsilon substitution for first- and second-order predicate logic

Année:
2013
Langue:
english
Fichier:
PDF, 146 KB
english, 2013
7

Conservation of Asian art—a select bibliography of Western language publications

Année:
2006
Langue:
english
Fichier:
PDF, 1.07 MB
english, 2006
8

The Individual Creative Career and The Typology of Culture Codes

Année:
1974
Langue:
english
Fichier:
PDF, 224 KB
english, 1974
14

Justification of the structural synthesis of programs

Année:
1982
Langue:
english
Fichier:
PDF, 1.40 MB
english, 1982
15

Propositional logic programming and the Priz system

Année:
1990
Langue:
english
Fichier:
PDF, 887 KB
english, 1990
16

Cut elimination for a simple formulation of epsilon calculus

Année:
2008
Langue:
english
Fichier:
PDF, 300 KB
english, 2008
17

Interpolation theorems for intuitionistic predicate logic

Année:
2001
Langue:
english
Fichier:
PDF, 137 KB
english, 2001
18

Extended normal form theorems for logical proofs from axioms

Année:
2000
Langue:
english
Fichier:
PDF, 106 KB
english, 2000
20

Structure and toughness of medium-carbon steel with boron

Année:
1976
Langue:
english
Fichier:
PDF, 1.02 MB
english, 1976
21

Current-carrying capacity of composite superconductors

Année:
1983
Langue:
english
Fichier:
PDF, 371 KB
english, 1983
22

Epsilon substitution method for elementary analysis

Année:
1996
Langue:
english
Fichier:
PDF, 1.40 MB
english, 1996
25

Proof theory in the USSR 1925–1969

Année:
1991
Langue:
english
Fichier:
PDF, 2.47 MB
english, 1991
27

Rough set theory for distilling construction safety measures

Année:
2006
Langue:
english
Fichier:
PDF, 391 KB
english, 2006
33

A normal form for logical derivations implying one for arithmetic derivations

Année:
1993
Langue:
english
Fichier:
PDF, 993 KB
english, 1993
34

Localization of nonlinear waves in randomly inhomogeneous media

Année:
1984
Langue:
english
Fichier:
PDF, 200 KB
english, 1984
35

Extraction of vanadium from black shale using pressure acid leaching

Année:
2009
Langue:
english
Fichier:
PDF, 287 KB
english, 2009
37

Kinetics of vanadium dissolution from black shale in pressure acid leaching

Année:
2010
Langue:
english
Fichier:
PDF, 1.65 MB
english, 2010
38

Sulfuric acid leaching of zinc silicate ore under pressure

Année:
2010
Langue:
english
Fichier:
PDF, 766 KB
english, 2010
42

Thermodynamics of vanadium–sulfur–water systems at 298 K

Année:
2011
Langue:
english
Fichier:
PDF, 649 KB
english, 2011
44

Derivability of admissible rules

Année:
1976
Langue:
english
Fichier:
PDF, 308 KB
english, 1976
45

Closed categories and the theory of proofs

Année:
1981
Langue:
english
Fichier:
PDF, 1.11 MB
english, 1981
46

What can be done with PRA?

Année:
1980
Langue:
english
Fichier:
PDF, 385 KB
english, 1980
47

Intuitionistic Frege systems are polynomially equivalent

Année:
2006
Langue:
english
Fichier:
PDF, 485 KB
english, 2006
49

Notes on Constructive Negation

Année:
2006
Langue:
english
Fichier:
PDF, 261 KB
english, 2006